algebraic proof